home *** CD-ROM | disk | FTP | other *** search
- # Source Generated with Decompyle++
- # File: in.pyo (Python 2.4)
-
- import re
- import sys
-
- class ZoomHeight:
- menudefs = [
- ('windows', [
- ('_Zoom Height', '<<zoom-height>>')])]
-
- def __init__(self, editwin):
- self.editwin = editwin
-
-
- def zoom_height_event(self, event):
- top = self.editwin.top
- zoom_height(top)
-
-
-
- def zoom_height(top):
- geom = top.wm_geometry()
- m = re.match('(\\d+)x(\\d+)\\+(-?\\d+)\\+(-?\\d+)', geom)
- if not m:
- top.bell()
- return None
-
- (width, height, x, y) = map(int, m.groups())
- newheight = top.winfo_screenheight()
- if sys.platform == 'win32':
- newy = 0
- newheight = newheight - 72
- else:
- newy = 0
- newheight = newheight - 88
- if height >= newheight:
- newgeom = ''
- else:
- newgeom = '%dx%d+%d+%d' % (width, newheight, x, newy)
- top.wm_geometry(newgeom)
-
-